/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

package fr.ove.openmath.jome.model;

/**
 *
 * @author Mr.Sam
 */
import java.util.*;
import fr.ove.openmath.jome.model.*;

/**
* The factorial operator
*
* @author © 2000 DIRAT Laurent
* @version 2.1  24/02/2000
*/
public class Factorial extends UnaryPostfixedOperator {
    /**
    * The constructor.
    */
    public Factorial() {
        super();
        setTheOperator("!");
    }
        
    /**
    * Set the specified value
    * @param the value to set.
    */
    public void setValue(String value) {
        // Surcharge et on ne fait rien car le nom de l'opérateur est spécifé dans le constructeur.
        // C'est nécessaire parce que danslefchier de ressources, il semble qu'il y ait des pb avec "!"
        // comme identificateur. D'où l'identificateur "fact".
        // Si pas surcharge, le nom de lopérateur sera "fact" et non "!" comme attendu.
    }
    
}
        
